mathematical proofs by cases